Order:
  1.  44
    Pseudofinite and Pseudocompact Metric Structures.Isaac Goldbring & Vinicius Cifú Lopes - 2015 - Notre Dame Journal of Formal Logic 56 (3):493-510.
    The definition of a pseudofinite structure can be translated verbatim into continuous logic, but it also gives rise to a stronger notion and to two parallel concepts of pseudocompactness. Our purpose is to investigate the relationship between these four concepts and establish or refute each of them for several basic theories in continuous logic. Pseudofiniteness and pseudocompactness turn out to be equivalent for relational languages with constant symbols, and the four notions coincide with the standard pseudofiniteness in the case of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  17
    Reduced products and sheaves of metric structures.Vinicius Cifú Lopes - 2013 - Mathematical Logic Quarterly 59 (3):219-229.